Buy Used and New Roberto Sebastiani Books

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings: 7317 (Lecture Notes in Computer Science)

by Alessandro Cimatti,Roberto Sebastiani

ISBN 13: 9783642316111

Format: Paperback (520 pages)
Publisher: Springer
Published: 22 Jun 2012

Save for later

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... 10900 (Lecture Notes in Computer Science)

by Didier Galmiche,Stephan Schulz,Roberto Sebastiani

ISBN 13: 9783319942049

Format: Paperback (744 pages)
Publisher: Springer
Published: 01 Jul 2018

Save for later